We study the class of ω-categorical structures with n-degenerate algebraic closure for some n ε ω, which includes ω-categorical structures with distributive lattice of algebraically closed subsets , and in particular those with degenerate algebraic closure. We focus on the models of ω-categorical universal theories, absolutely ubiquitous structures, and ω-categorical structures generated by an indiscernible set. The assumption of n-degeneracy implies total categoricity for the first class, stability for the second, and ω-stability for the third.

The weak non-finite cover property (wnfcp) was introduced in [1] in connection with "axiomatizability" of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory TP of lovely pairs of (...) models of T (true in the stable case). While the question remains open, we show, among other things, that if (for a T with the wnfcp) TP is low, then TP has the wnfcp. To study this question, we describe "double lovely pairs", and, along the way, we develop the notion of a "lovely n-tuple" of models of a simple theory, which is an analogue of the notion of a beautiful tuple of models of stable theories [2]. (shrink)

For a supersimple SU-rank 1 theory T we introduce the notion of a generic elementary pair of models of T . We show that the theory T* of all generic T-pairs is complete and supersimple. In the strongly minimal case, T* coincides with the theory of infinite dimensional pairs, which was used in 1184–1194) to study the geometric properties of T. In our SU-rank 1 setting, we use T* for the same purpose. In particular, we obtain a characterization of linearity (...) for SU-rank 1 structures by giving several equivalent conditions on T*, find a “weak” version of local modularity which is equivalent to linearity, show that linearity coincides with 1-basedness, and use the generic pairs to “recover” projective geometries over division rings from non-trivial linear SU-rank 1 structures. (shrink)

We continue the study of the connection between the “geometric” properties of SU -rank 1 structures and the properties of “generic” pairs of such structures, started in [8]. In particular, we show that the SU-rank of the theory of generic pairs of models of an SU -rank 1 theory T can only take values 1 , 2 or ω, generalizing the corresponding results for a strongly minimal T in [3]. We also use pairs to derive the implication from pseudolinearity to (...) linearity for ω -categorical SU -rank 1 structures, established in [7], from the conjecture that an ω -categorical supersimple theory has finite SU -rank, and find a condition on generic pairs, equivalent to pseudolinearity in the general case. (shrink)

We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We use the pairs to isolate a class of geometric structures called weakly locally modular which generalizes the class of linear structures in the settings of SU-rank one theories and o-minimal theories. For o-minimal theories, we use the Peterzil–Starchenko trichotomy theorem to characterize for a sufficiently general point, the local geometry around it in terms of the thorn U-rank of its type inside a lovely pair.

We study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \\), satisfying a density/codensity condition. Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that in both the algebraically closed field and (...) real closed field cases, the resulting theory is near model complete and the expansion preserves many nice model theoretic conditions related to the complexity of definable sets such as stability and NIP. (shrink)

We study definable groups in dense/codense expansions of geometric theories with a new predicate P such as lovely pairs and expansions of fields by groups with the Mann property. We show that in such expansions, large definable subgroups of groups definable in the original language \ are also \-definable, and definably amenable \-definable groups remain amenable in the expansion. We also show that if the underlying geometric theory is NIP, and G is a group definable in a model of T, (...) then the connected component \ of G in the expansion agrees with the connected component \ in the original language. We prove similar preservation results for \^n\), the P-part of G in a lovely pair, and for subgroups of G in pairs where R is a real closed field and G is a subgroup of \ or the unit circle \\) with the Mann property. (shrink)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory.

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these properties. We show that (...) if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite vector space over (...) a finite field. (shrink)

We introduce the notion of a lovely pair of models of a simple theory T, generalizing Poizat's “belles paires” of models of a stable theory and the third author's “generic pairs” of models of an SU-rank 1 theory. We characterize when a saturated model of the theory TP of lovely pairs is a lovely pair , finding an analog of the nonfinite cover property for simple theories. We show that, under these hypotheses, TP is also simple, and we study forking (...) and canonical bases in TP. We also prove that assuming only that T is low, the existentially universal models of the universal part of a natural expansion TP+ of TP, are lovely pairs, and “simple Robinson universal domains”. (shrink)

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and (...) characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular. (shrink)

The problem, of man falls into a category of problems of human knowledge that are both ‘eternal’ and ever new. Countless legends, myths, philosophical systems, religious doctrines, scientific conceptions and fantastic visions have been the fruit of man's ungovernable desire to know himself, to know his essence, his purpose in the world, his fate, his future. Not to mention the ingenious hypotheses and Utopian fantasms, scientific truths and galling mistakes, bold projects and cowardly superstitions handed on by human civilization in (...) its Indefatigable search for the ‘magic crystal’ which would at last reveal man's true nature. All periods have made their contribution In this everlasting quest and all have relied on the few parcels of truth gleaned by humanity at earlier stages of development. Our times, the most dramatic and revolutionary of all, are by no means an exception and can be distinguished from the rest only by the exceptional acuity and urgency of the problem. (shrink)

Ocherk 1. Voprosy ontologii -- Ocherk 2. Voprosy ėtiki i ėstetiki -- Ocherk 3. Voprosy gnoseologii i aksiologii.

A method of linguistically-oriented reasoning comprehension is proposed. It is based on semiological principles of text comprehension. Both content and form are essential for comprehending argumentative texts. A text recipient is viewed as a rational judge trying to detect all the components of the argument he/she considers and thus to see if the argument is consistent. Elementary and higher level argumentative units of the text are discovered by applying a modified S. Toulmin's model of argumentative functions. Validity and correctness of (...) arguments are established by means of a new – linguistic – interpretation of traditional syllogistic. (shrink)

Research on brain or cognitive/affective processes, culture, social interaction, and structural analysis are overlapping but often independent ways humans have attempted to understand the origins of their evolution, historical, and contemporary development. Each level seeks to employ its own theoretical concepts and methods for depicting human nature and categorizing objects and events in the world, and often relies on different sources of evidence to support theoretical claims. Each level makes reference to different temporal bandwidths (milliseconds, seconds, minutes, hours, days, months, (...) years, decades, and centuries) and focuses on different spatio-temporal activities and controlled and non-controlled stimulus conditions. Biological mechanisms and environmental pressures for survival simultaneously created a gradual intersection and enhancement of cognitive/affective skills, cultural practices, and changes in collaborative social interaction and communicative skills. The evolution of a given level of analysis is assumed to have been incremental and overlapping. These innovative and independent ways humans have learned to characterize their brain or cognitive/affective and social/economic/political life often depend on unexamined, representational re-descriptions or cognitive/affective and socio-cultural devices and forms of communication that facilitate the depiction of practices and beliefs we attribute to respondents or subjects and research colleagues. (shrink)

The article is devoted to the memory of Vyacheslav Semenovich Stepin and Nikita Nikolaevich Moiseev, whose multifaceted work was integrally focused on philosophical, interdisciplinary and transdisciplinary research of the key ideas and principles of universal human-dimensional evolutionism. Other remarkable Russian scientists V.I. Vernadsky, S.P. Kurdyumov, S.P. Kapitsa, D.S. Chernavsky worked in the same tradition of universal evolutionism. While V.I. Vernadsky and N.N. Moiseev had been the originators of that scientific approach, V.S. Stepin provided philosophical foundations for the ideas of those (...) remarkable scientists and thinkers. The scientific legacy of V.S. Stepin and N.N. Moiseev maintained the formation of a new quality of research into the philosophy of science and technology as well as into the philosophy of culture. This new quality is multidimensional and it is difficult to define unambiguously, but we presume the formation of those areas of philosophical knowledge as constructively oriented languages of interdisciplinary and transdisciplinary co-participation of philosophy in the convergent-evolutionary development of scientific knowledge in general. In this regard, attention is paid to V.S. Stepin’s affirmations about non-classical nature of modern social and humanitarian knowledge. Quantum mechanics teaches us that the reality revealed through it is a hybrid construct, or symbiosis, of both mean and object of cognition. Therefore, the very act of cognitive observation constructs quantum reality. Thus, it is very close to the process of cognition in modern sociology and psychology. V.S. Stepin insisted that these principles are applicable to all complex selfdeveloping systems, and such are all “human-dimensional” objects of modern humanities. In all the phases of homeostasis changes, or crises, there is necessarily a share of chaos, instability, uncertainty in the selection process of future development scenarios, which is ineliminably affected by our observation. Therefore, a cognitive observer in the humanities should be considered as a concept of post-non-classical rationality, that is as an observer of complexity. (shrink)

Because the techno-economic paradigm of contemporary conceptualizations of innovation is often taken for granted in the literature, this chapter opens up this self-evident notion. First, the chapter consults the work of Joseph Schumpeter, who can be seen as the founding father of the current conceptualization of innovation as technological and commercial. Second, we open up the concept by reflecting on two aspects of Schumpeter’s conceptualization of innovation, namely its destructive and its constructive aspect, based on findings in the history of (...) innovation. Finally, we synthesize our findings and propose an ontic-ontological conceptualization of innovation as ontogenetic process and outcome with six dimensions—newness, political dimension, economic dimension, temporal dimension, human dimension and risk—that moves beyond its technological and commercial orientation. (shrink)

Formulation of a general model of evolution is presented which is based upon the recognition of the ?biosocial? entity, that is the biosphere and human society, as a component?system. It can be demonstrated that the interactions of the components (moleculas, cells, organisms, ecosystems in the biological realms and people, artifacts and ideas in the societies) have replicative organization. We suggest an explanation for the spontaneous emergence of replicative function and organization, a process called autogenesis. During autogenesis, hierarchical levels of replicative (...) organization emerge and compartmentalization and convergence of replicative information occurs. Questions of the origin and evolution of life are discussed. The replicative paradigm can also be applied to the processes of cultural evolution, in which complex replicative networks of people, ideas, and man?made artifacts show all stages and phenomena of autogenesis. Finally, the present state of evolution of the whole global biosocial system is discussed. (shrink)

V. C. Chappell; IV*—Stuff and Things, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 61–76, https://doi.org/10.1093/aristotelia.

Despite the so-called ‘paradigm wars’ in many social sciences disciplines in recent decades, debate as to the appropriate philosophical basis for research in business ethics has been comparatively non-existent. Any consideration of paradigm issues in the theoretical business ethics literature is rare and only very occasional references to relevant issues have been made in the empirical journal literature. This is very much the case in the growing fields of cross-cultural business ethics and undergraduate student attitudes, and examples from these fields (...) are used in this article. No typology of the major paradigms available for, or relied upon in, business ethics has been undertaken in the wider journal literature, and this article addresses that gap. It contributes a synthesis of three models of paradigms and a tabulated comparison of ontological, epistemological and methodological assumptions in the context of empirical business ethics research. The author also suggests the likely (and usually unidentified) positivist paradigm assumptions underlying the vast majority of empirical business ethics research published in academic journals and also argues for an increased reliance on less positivist assumptions moving forward. (shrink)

In this article, cognitivism is understood as the view that the engine of human (individual and collective) action is the intentional, dispositional, or other mental capacities of the brain or the mind. Cognitivism has been criticized for considering the essence of human action to reside in its alleged source in mental processes at the expense of the social surroundings of the action, criticism that has often been inspired by Ludwig Wittgenstein's later philosophy. This article explores the logical extent of the (...) critique of cognitivism, arguing that by positing collectively shared knowledge of criteria as the engine of human action many such critiques themselves display latent cognitivism. (shrink)

One of the main problems in effective model theory is to find an appropriate information complexity measure of the algebraic structures in the sense of computability. Unlike the commonly used degrees of structures, the structure degree measure is total. We introduce and study the jump operation for structure degrees. We prove that it has all natural jump properties (including jump inversion theorem, theorem of Ash), which show that our definition is relevant. We study the relation between the structure degree jump (...) (in the sense of Soskov) and the jump degrees of a structure (in the sense of Jockusch) and give necessary and sufficient conditions for their existence in the terms of structure degrees. We show some properties, distinguishing the structure degrees from the enumeration degrees. (shrink)

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

In this article, cognitivism is understood as the view that the engine of human action is the intentional, dispositional, or other mental capacities of the brain or the mind. Cognitivism has been criticized for considering the essence of human action to reside in its alleged source in mental processes at the expense of the social surroundings of the action, criticism that has often been inspired by Ludwig Wittgenstein's later philosophy. This article explores the logical extent of the critique of cognitivism, (...) arguing that by positing collectively shared knowledge of criteria as the engine of human action many such critiques themselves display latent cognitivism. (shrink)

Although research into the biosemiotic mechanisms underlying the purposeful behavior of brainless living systems is extensive, researchers have not adequately described biosemiosis among neurons. As the conscious use of signs is well-covered by the various fields of semiotics, we focus on subconscious sign action. Subconscious semiotic habits, both functional and dysfunctional, may be created and reinforced in the brain not necessarily in a logical manner and not necessarily through repeated reinforcement. We review literature that suggests hypnosis may be effective in (...) changing subconscious dysfunctional habits, and we offer a biosemiotic framework for understanding these results. If it has been difficult to evaluate any psychological approach, including hypnosis, this may be because contemporary neuroscience lacks a theory of the sign. We argue that understanding the fluid nature of representation in biological organisms is prerequisite to understanding the nature of the subconscious and may lead to more effective of treatments for dysfunctional habits developed through personal experience or culture. (shrink)

In this article, Savage’s theory of decision-making under uncertainty is extended from a classical environment into a non-classical one. The Boolean lattice of events is replaced by an arbitrary ortho-complemented poset. We formulate the corresponding axioms and provide representation theorems for qualitative measures and expected utility. Then, we discuss the issue of beliefs updating and investigate a transition probability model. An application to a simple game context is proposed.

Smart Farming Technologies raise ethical issues associated with the increased corporatization and industrialization of the agricultural sector. We explore the concept of biomimicry to conceptualize smart farming technologies as ecological innovations which are embedded in and in accordance with the natural environment. Such a biomimetic approach of smart farming technologies takes advantage of its potential to mitigate climate change, while at the same time avoiding the ethical issues related to the industrialization of the agricultural sector. We explore six principles of (...) a natural concept of biomimicry and apply these principles in the context of smart farming technologies. (shrink)